Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
231	Using SEC Dav i d L a n g David Lang is a Staff IT Engineer at Intuit, where he has spent more than a decade working Add to Reading List Source URL: www.usenix.org Language: English Computing Software Scripting languages System administration Formal languages Expect Tk Login Secure Shell Syslog Perl Scope
232	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof
233	Mini-Course : Normal Modal Logics Aaron J. Cotnoir Northern Institute of Philosophy \| November ,   Preliminaries: Formal Languages Definition .. A propositional language L comprises: . a sen Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2014-09-15 06:30:12
234	JFP): 218–283, c Cambridge University Press 2014 ⃝ 218 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Models of computation Formal languages Pushdown automaton Finite automata Nondeterministic finite automaton Computability Abstract interpretation Context-free language Symbol Nested stack automaton Tree stack automaton
235	Formal Methods for Comparing Behavior of Procedures in Different Languages David J. Musliner, Michael W. Boldt, Michael J. S. Pelican, Daniel J. Geschwender Smart Information Flow Technologies (SIFT) Minneapolis, USA ema Add to Reading List Source URL: musliner.com Language: English - Date: 2014-04-10 11:55:19
236	Multiword expressions 1 Introduction Even the best existing formal grammars of natural languages generate a large proportion of utterances that sound stilted, ugly or simply wrong to native speakers. Many of the problems Add to Reading List Source URL: lingo.stanford.edu Language: English Linguistics Syntax Cognitive science Grammar Semantics Generative linguistics Semiotics Multiword expression Minimal recursion semantics Head-driven phrase structure grammar Ivan Sag Lexical item
237	One-Dimensional Staged Self-Assembly Erik D. Demaine1 , Sarah Eisenstat1 , Mashhood Ishaque2 , and Andrew Winslow2 1 MIT Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2013-11-14 23:09:10 Formal languages Mathematics Combinatorics Computing Context-free grammar Formal grammar Terminal and nonterminal symbols Binary tree String Time complexity
238	One-Dimensional Staged Self-Assembly Erik D. Demaine1 , Sarah Eisenstat1 , Mashhood Ishaque2 , and Andrew Winslow2 1 MIT Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2013-11-14 23:09:11 Formal languages Context-free grammar Formal grammar Adhesive Terminal and nonterminal symbols Production String
239	A Morphotactic Infrastructure for a Grammar Customization System Kelly O’Hara A thesis submitted in partial fulfillment of Add to Reading List Source URL: www.delph-in.net Language: English - Date: 2008-12-03 14:51:58 Linguistics Grammar Formal languages Cognitive science Language Syntax Linguistic typology Morphology Formal grammar
240	Published as a conference paper at ICLRJ OINT RNN-BASED G REEDY PARSING C OMPOSITION AND Add to Reading List Source URL: ronan.collobert.com Language: English - Date: 2015-08-30 19:55:58 Parsing algorithms Artificial neural networks Compiler construction Programming language implementation Software Natural language processing Formal languages Parsing Computational neuroscience Recursive neural network Word embedding Dependency grammar

UPDATE